Formula Translation language

См. также в других словарях:

• language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… …   Universalium

• Language of mathematics — The language of mathematics is the system used by mathematicians to communicate mathematical ideas among themselves. This language consists of a substrate of some natural language (for example English) using technical terms and grammatical… …   Wikipedia

• computer programming language — Introduction       any of various languages for expressing a set of detailed instructions for a digital computer. Such instructions can be executed directly when they are in the computer manufacturer specific numerical form known as machine… …   Universalium

• Third generation language — Eine höhere Programmiersprache (engl. high level language) ist eine Programmiersprache, die die Abfassung eines Computerprogramms in einer abstrakten Sprache ermöglicht (die so zwar für Menschen, aber nicht unmittelbar für Computer verständlich… …   Deutsch Wikipedia

• English language — Language belonging to the Germanic languages branch of the Indo European language family, widely spoken on six continents. The primary language of the U.S., Britain, Canada, Australia, Ireland, New Zealand, and various Caribbean and Pacific… …   Universalium

• Etruscan language — Language spoken by the ancient people of Etruria in what is now Italy. Its proposed relations with the Indo European family have not been generally accepted, and Etruscan remains a linguistic isolate (i.e., unrelated to any other language). Known …   Universalium

• Albanian language — Albanian Shqip Pronunciation [ʃcip] Spoken in Primarily in Southeastern Europe and by the Albanian diaspora worldwide. Native speakers …   Wikipedia

• Gödel–Gentzen negative translation — In proof theory, the Gödel–Gentzen negative translation is a method for embedding classical first order logic into intuitionistic first order logic. It is one of a number of double negation translations that are of importance to the metatheory of …   Wikipedia

• Macedonian language — This article is about the modern Slavic language. For the extinct Paleo Balkan language, see Ancient Macedonian language. For other uses, see Macedonian (disambiguation). Macedonian Македонски јазик Makedonski jazik Pronunciation …   Wikipedia

• Glossary of language teaching terms and ideas — Like every other course of study, language teaching requires specialized vocabulary and word use. This list is a glossary for English language learning and teaching using the increasingly popular communicative approach. Accuracy Burnout •… …   Wikipedia

• Hungarian language — Hungarian magyar Pronunciation [ˈmɒɟɒr] Spoken in …   Wikipedia